// ========================================================================= //

// includes
#include "stdio.h"
#include "stdlib.h"
#include "time.h"
#include "string.h"
#include "limits.h"
#include "float.h"



#define JOTAI_NUM_RANDS_ 25

const unsigned rand_primes[JOTAI_NUM_RANDS_] = {179, 103, 479, 647, 229, 37, 271, 557, 263, 607, 18743, 50359, 21929, 48757, 98179, 12907, 52937, 64579, 49957, 52567, 507163, 149939, 412157, 680861, 757751};

int next_i() {
  int counter = 0;
  return rand_primes[(++counter)%JOTAI_NUM_RANDS_];
}

float next_f() {
  int counter = 0;
  return rand_primes[(++counter)%JOTAI_NUM_RANDS_] / 757751.0F;
} 


// Usage menu
void usage() {
    printf("%s", "Usage:\n\
    prog [ARGS]\n\
\nARGS:\n\
       0            big-arr\n\
       1            big-arr-10x\n\
       2            empty\n\
\n\
");

}


// ------------------------------------------------------------------------- //

#define NULL ((void*)0)
typedef unsigned long size_t;  // Customize by platform.
typedef long intptr_t; typedef unsigned long uintptr_t;
typedef long scalar_t__;  // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */
typedef  struct TYPE_2__   TYPE_1__ ;

/* Type definitions */
struct vpbe_display {struct vpbe_device* vpbe_dev; } ;
struct TYPE_2__ {scalar_t__ xres; scalar_t__ yres; scalar_t__ interlaced; } ;
struct vpbe_device {TYPE_1__ current_timings; } ;
struct v4l2_rect {scalar_t__ width; scalar_t__ left; scalar_t__ height; scalar_t__ top; } ;

/* Variables and functions */

__attribute__((used)) static void vpbe_disp_check_window_params(struct vpbe_display *disp_dev,
			struct v4l2_rect *c)
{
	struct vpbe_device *vpbe_dev = disp_dev->vpbe_dev;

	if ((c->width == 0) ||
	  ((c->width + c->left) > vpbe_dev->current_timings.xres))
		c->width = vpbe_dev->current_timings.xres - c->left;

	if ((c->height == 0) || ((c->height + c->top) >
	  vpbe_dev->current_timings.yres))
		c->height = vpbe_dev->current_timings.yres - c->top;

	/* window height must be even for interlaced display */
	if (vpbe_dev->current_timings.interlaced)
		c->height &= (~0x01);

}

// ------------------------------------------------------------------------- //

int main(int argc, char *argv[]) {

    if (argc != 2) {
        usage();
        return 1;
    }

    int opt = atoi(argv[1]);
    switch(opt) {

    // big-arr
    case 0:
    {
          int _len_disp_dev0 = 65025;
          struct vpbe_display * disp_dev = (struct vpbe_display *) malloc(_len_disp_dev0*sizeof(struct vpbe_display));
          for(int _i0 = 0; _i0 < _len_disp_dev0; _i0++) {
              int _len_disp_dev__i0__vpbe_dev0 = 1;
          disp_dev[_i0].vpbe_dev = (struct vpbe_device *) malloc(_len_disp_dev__i0__vpbe_dev0*sizeof(struct vpbe_device));
          for(int _j0 = 0; _j0 < _len_disp_dev__i0__vpbe_dev0; _j0++) {
              disp_dev[_i0].vpbe_dev->current_timings.xres = ((-2 * (next_i()%2)) + 1) * next_i();
          disp_dev[_i0].vpbe_dev->current_timings.yres = ((-2 * (next_i()%2)) + 1) * next_i();
          disp_dev[_i0].vpbe_dev->current_timings.interlaced = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          }
        
          int _len_c0 = 65025;
          struct v4l2_rect * c = (struct v4l2_rect *) malloc(_len_c0*sizeof(struct v4l2_rect));
          for(int _i0 = 0; _i0 < _len_c0; _i0++) {
              c[_i0].width = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].left = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].height = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].top = ((-2 * (next_i()%2)) + 1) * next_i();
        
          }
        
          vpbe_disp_check_window_params(disp_dev,c);
          for(int _aux = 0; _aux < _len_disp_dev0; _aux++) {
          free(disp_dev[_aux].vpbe_dev);
          }
          free(disp_dev);
          free(c);
        
        break;
    }
    // big-arr-10x
    case 1:
    {
          int _len_disp_dev0 = 100;
          struct vpbe_display * disp_dev = (struct vpbe_display *) malloc(_len_disp_dev0*sizeof(struct vpbe_display));
          for(int _i0 = 0; _i0 < _len_disp_dev0; _i0++) {
              int _len_disp_dev__i0__vpbe_dev0 = 1;
          disp_dev[_i0].vpbe_dev = (struct vpbe_device *) malloc(_len_disp_dev__i0__vpbe_dev0*sizeof(struct vpbe_device));
          for(int _j0 = 0; _j0 < _len_disp_dev__i0__vpbe_dev0; _j0++) {
              disp_dev[_i0].vpbe_dev->current_timings.xres = ((-2 * (next_i()%2)) + 1) * next_i();
          disp_dev[_i0].vpbe_dev->current_timings.yres = ((-2 * (next_i()%2)) + 1) * next_i();
          disp_dev[_i0].vpbe_dev->current_timings.interlaced = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          }
        
          int _len_c0 = 100;
          struct v4l2_rect * c = (struct v4l2_rect *) malloc(_len_c0*sizeof(struct v4l2_rect));
          for(int _i0 = 0; _i0 < _len_c0; _i0++) {
              c[_i0].width = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].left = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].height = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].top = ((-2 * (next_i()%2)) + 1) * next_i();
        
          }
        
          vpbe_disp_check_window_params(disp_dev,c);
          for(int _aux = 0; _aux < _len_disp_dev0; _aux++) {
          free(disp_dev[_aux].vpbe_dev);
          }
          free(disp_dev);
          free(c);
        
        break;
    }
    // empty
    case 2:
    {
          int _len_disp_dev0 = 1;
          struct vpbe_display * disp_dev = (struct vpbe_display *) malloc(_len_disp_dev0*sizeof(struct vpbe_display));
          for(int _i0 = 0; _i0 < _len_disp_dev0; _i0++) {
              int _len_disp_dev__i0__vpbe_dev0 = 1;
          disp_dev[_i0].vpbe_dev = (struct vpbe_device *) malloc(_len_disp_dev__i0__vpbe_dev0*sizeof(struct vpbe_device));
          for(int _j0 = 0; _j0 < _len_disp_dev__i0__vpbe_dev0; _j0++) {
              disp_dev[_i0].vpbe_dev->current_timings.xres = ((-2 * (next_i()%2)) + 1) * next_i();
          disp_dev[_i0].vpbe_dev->current_timings.yres = ((-2 * (next_i()%2)) + 1) * next_i();
          disp_dev[_i0].vpbe_dev->current_timings.interlaced = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          }
        
          int _len_c0 = 1;
          struct v4l2_rect * c = (struct v4l2_rect *) malloc(_len_c0*sizeof(struct v4l2_rect));
          for(int _i0 = 0; _i0 < _len_c0; _i0++) {
              c[_i0].width = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].left = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].height = ((-2 * (next_i()%2)) + 1) * next_i();
          c[_i0].top = ((-2 * (next_i()%2)) + 1) * next_i();
        
          }
        
          vpbe_disp_check_window_params(disp_dev,c);
          for(int _aux = 0; _aux < _len_disp_dev0; _aux++) {
          free(disp_dev[_aux].vpbe_dev);
          }
          free(disp_dev);
          free(c);
        
        break;
    }
    default:
        usage();
        break;

    }

    return 0;
}
